Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments⋆ Peter Schüller Computer Engineering Department, Faculty of Engineering Marmara University, Turkey

Source URL: ceur-ws.org

Stratified Bounded Affine Logic for Logarithmic Space Ulrich Schöpp University of Munich Programming with Logarithmic Space

Source URL: www2.tcs.ifi.lmu.de

Names are (mostly) Useless: Encoding Nominal Logic Programming Techniques with Use-counting and Dependent Types Jason Reed September 20, 2008

Source URL: www.cis.upenn.edu

Advances in Programming Languages APL3: Hoare logic David Aspinall (slides mostly by Ian Stark) School of Informatics

Source URL: www.inf.ed.ac.uk

ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵ ｃｏｓｔ＠ＰＵＵＯＱＵ ｄｅｃｉｓｉｏｎ ｓｵ｢ｪ･｣ｴＺ＠

Source URL: w3.cost.eu

• Software engineering
• Software
• Type theory
• Programming language theory
• Proof assistants
• Functional languages
• Formal methods
• Logic in computer science
• Formal verification
• Dependent type
• Agda
• Coq

Control and embedded Systems Tutorial Table Of Contents Previous: Programming Part 1 Next: Boolean Logic

Source URL: learn-c.com

• Units of information
• Computing
• Binary arithmetic
• Information
• Linguistics
• Nibble
• Hexadecimal numeral system
• Computer arithmetic
• Hexadecimal
• Byte
• Binary-coded decimal

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

Source URL: peek.uwplse.org

• Computing
• Software engineering
• Software
• Compiler optimizations
• Programming language implementation
• Compiler construction
• Formal methods
• Logic in computer science
• CompCert
• Low-level programming language
• Peephole optimization
• Formal verification

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Software engineering
• Programming language theory
• Computer programming
• Type theory
• Procedural programming languages
• Functional languages
• Logic in computer science
• Programming language semantics
• Standard ML
• Denotational semantics
• Monad
• Type system

On the Robustness of Qualitative Distance- and Direction-Reasoning* Jung-Hong Hong Department of Surveying Engineering National Cheng-Kung University

Source URL: mapcontext.com

• Cognition
• Reasoning
• Cognitive science
• Logic
• Knowledge representation
• Constraint programming
• Educational psychology
• Spatialtemporal reasoning
• Qualitative reasoning
• Spatial relation
• Reasoning system
• Andrew U. Frank

A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph

Source URL: repository.readscheme.org

• Software engineering
• Computing
• Software
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Programming language implementation
• Interpreter
• Logic programming
• Programming language
• Meta
• Eval